home *** CD-ROM | disk | FTP | other *** search
- Path: keats.ugrad.cs.ubc.ca!not-for-mail
- From: c2a192@ugrad.cs.ubc.ca (Kazimir Kylheku)
- Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++
- Subject: Re: C/C++ knocks the crap out of Ada
- Date: 6 Mar 1996 13:44:38 -0800
- Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
- Message-ID: <4hl106INNgjl@keats.ugrad.cs.ubc.ca>
- References: <JSA.96Feb16135027@organon.com> <4hakfl$ogd@fred.netinfo.com.au> <313C749D.2C34@lfwc.lockheed.com> <4hk3qg$24ci@info4.rus.uni-stuttgart.de>
- NNTP-Posting-Host: keats.ugrad.cs.ubc.ca
-
- In article <4hk3qg$24ci@info4.rus.uni-stuttgart.de>,
- Peter Hermann <ucaa2385@alpha1.csv.ica.uni-stuttgart.de> wrote:
- >Ken Garlington (GarlingtonKE@lfwc.lockheed.com) wrote:
- >
- >: Actually, most Ada compilers optimize type checks assuming the hardware is working,
- >: so this check isn't quite as strong as you imply. However, it does provide some
- >: coverage.
- >
- >A compiler vendor may be able to provide a heavy-duty-check-mode option
- >which certainly makes sense under conditions where ultra-high reliability
- >is required.
-
- Under conditions where ultra-high reliability is required, I'd add a lot of
- redundant check bits to every word of storage, and let the hardware do much of
- the error detection and correction. It would be extremely irresponsible to use
- unreliable hardware where the requirement is for ultra-high reliability, no?
- --
-
-